Euclidean algorithm proof